Towards Soft Computing Object-Oriented Logic Programming

Logic programming, object-oriented programming and soft computing have provided advantageous methodologies and techniques for computer-based problem solving. This paper proposes a framework that combines these three disciplines to exploit their own advantages in dealing with real world problems. The framework is a logic-based one in which class and object properties are represented by clauses. Vague data in properties are represented by fuzzy sets interpreted as possibility distributions. Uncertain applicability of a property to a class or an object is represented either by a support pair defining probability lower and upper bounds, or by a certainty lower bound. Fundamental issues of uncertain membership and inheritance are then discussed and solutions to them are proposed. The result forms a basis for development of soft computing object-oriented programming systems.